1. Identificação | |
Tipo de Referência | Artigo em Revista Científica (Journal Article) |
Site | plutao.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identificador | 8JMKD3MGP3W/3HG7KJE |
Repositório | sid.inpe.br/plutao/2014/12.01.13.32 |
Última Atualização | 2015:02.12.16.29.59 (UTC) administrator |
Repositório de Metadados | sid.inpe.br/plutao/2014/12.01.13.32.01 |
Última Atualização dos Metadados | 2018:06.04.23.39.42 (UTC) administrator |
ISSN | 1518-9082 |
Rótulo | lattes: 4404234627216005 1 ErasSantArak:2014:LeCoAr |
Chave de Citação | ErasSantArak:2014:LeCoAr |
Título | Um Leitor e Conversor de Arquivos XMI para SIstemas de Transição de Estados |
Ano | 2014 |
Data de Acesso | 02 maio 2024 |
Tipo de Trabalho | conference paper |
Tipo Secundário | PRE PN |
Número de Arquivos | 1 |
Tamanho | 116 KiB |
|
2. Contextualização | |
Autor | 1 Eras, Eduardo Rohde 2 Santos, Luciana Brasil Rebelo dos 3 Arakaki, Reinaldo Gen Ichiro |
Grupo | 1 LAC-CTE-INPE-MCTI-GOV-BR 2 CAP-COMP-SPG-INPE-MCTI-GOV-BR |
Afiliação | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 Instituto Nacional de Pesquisas Espaciais (INPE) 3 FATEC |
Endereço de e-Mail do Autor | 1 eduardorohdeeras@gmail.com 2 luciana.santos@lac.inpe.br |
Endereço de e-Mail | marcelo.pazos@inpe.br |
Revista | Boletim Técnico da Faculdade de Tecnologia de São Paulo |
Volume | 38 |
Número | 16 |
Páginas | 136-136 |
Nota Secundária | B4_INTERDISCIPLINAR B4_MEDICINA_I B5_ODONTOLOGIA B5_ENGENHARIAS_III B5_ENGENHARIAS_IV B5_LETRAS_/_LINGUÍSTICA B5_ENGENHARIAS_II B5_GEOCIÊNCIAS C_ASTRONOMIA_/_FÍSICA C_EDUCAÇÃO C_CIÊNCIAS_AGRÁRIAS_I C_MATERIAIS |
Histórico (UTC) | 2014-12-01 13:32:01 :: lattes -> administrator :: 2018-06-04 23:39:42 :: administrator -> marcelo.pazos@inpe.br :: 2014 |
|
3. Conteúdo e estrutura | |
É a matriz ou uma cópia? | é a matriz |
Estágio do Conteúdo | concluido |
Transferível | 1 |
Tipo do Conteúdo | External Contribution |
Tipo de Versão | publisher |
Palavras-Chave | Tool UML State Transition System Formal Verification |
Área | COMP |
Arranjo 1 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Um Leitor e... |
Arranjo 2 | urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > Um Leitor e... |
Conteúdo da Pasta doc | acessar |
Conteúdo da Pasta source | não têm arquivos |
Conteúdo da Pasta agreement | não têm arquivos |
|
4. Condições de acesso e uso | |
URL dos dados | http://urlib.net/ibi/8JMKD3MGP3W/3HG7KJE |
URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP3W/3HG7KJE |
Idioma | pt |
Grupo de Usuários | lattes marcelo.pazos@inpe.br |
Grupo de Leitores | administrator marcelo.pazos@inpe.br |
Visibilidade | shown |
Política de Arquivamento | allowpublisher allowfinaldraft |
Permissão de Leitura | allow from all |
Permissão de Atualização | não transferida |
|
5. Fontes relacionadas | |
Vinculação | Trabalho não Vinculado à Tese/Dissertação |
Repositório Espelho | iconet.com.br/banon/2006/11.26.21.31 |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP 8JMKD3MGPCW/3F2PHGS |
Lista de Itens Citando | sid.inpe.br/bibdigital/2013/09.22.23.14 1 sid.inpe.br/bibdigital/2013/10.12.22.16 1 |
URL (dados não confiáveis) | http://bt.fatecsp.br/system/articles/988/original/sict_2014.pdf |
Divulgação | PORTALCAPES |
Acervo Hospedeiro | dpi.inpe.br/plutao@80/2008/08.19.15.01 |
|
6. Notas | |
Campos Vazios | abstract alternatejournal archivist callnumber copyholder copyright creatorhistory descriptionlevel doi format isbn lineage mark month nextedition notes orcid parameterlist parentrepositories previousedition previouslowerunit progress project resumeid rightsholder schedulinginformation secondarydate secondarykey session shorttitle sponsor subject targetfile tertiarytype |
|
7. Controle da descrição | |
e-Mail (login) | marcelo.pazos@inpe.br |
atualizar | |
|